On Scheduling Collaborative Computations on the Internet, I: Mesh-Dags and Their Close Relatives

Advancing technology has rendered the Internet a viable medium for collaborative computing, via mechanisms such as Web-Based Computing and Grid-Computing. We present a “pebble game” that abstracts the process of scheduling a computation-dag for computing over the Internet, including a novel formal criterion for comparing the qualities of competing schedules. Within this formal setting, we identify a strategy for scheduling the task-nodes of a computationdag whose dependencies have the structure of a mesh of any finite dimensionality (a mesh-dag), that is optimal to within a small constant factor (to within a low-order additive term for 2and 3-dimensional mesh-dags). We show that this strategy remains nearly optimal for a generalization of 2-dimensional mesh-dags whose structures are determined by abelian monoids (a monoid-based version of Cayley graphs).